首页> 外文OA文献 >ac2lus: Bringing SMT-solving and Abstract Interpretation Techniques to Real-Time Calculus through the Synchronous Language Lustre

【2h】

ac2lus: Bringing SMT-solving and Abstract Interpretation Techniques to Real-Time Calculus through the Synchronous Language Lustre

机译：ac2lus：通过同步语言光泽将SMT解决和抽象解释技术引入实时演算

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Karine Altisen; Matthieu Moy;
展开▼
作者单位

展开▼
年度 2011
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Programming and verifying real-time systems by means of the synchronous data-flow language LUSTRE [J] . Halbwachs N., Lagnier F. IEEE Transactions on Software Engineering . 1992,第9期

机译：通过同步数据流语言LUSTER对实时系统进行编程和验证
2. A Modular Memory Optimization for Synchronous Data-Flow Languages Application to Arrays in a Lustre Compiler [J] . Léonard Gérard, Adrien Guatto, Cédric Pasteur, ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2012,第5期

机译：同步数据流语言应用于光泽编译器中阵列的模块化内存优化
3. The synchronous data flow programming language LUSTRE [J] . Halbwachs N., Caspi P. Proceedings of the IEEE . 1991,第9期

机译：同步数据流编程语言LUSTER
4. ac21us: Bringing SMT-solving and Abstract Interpretation Techniques to Real-Time Calculus through the Synchronous Language Lustre [C] . Karine Altisen, Matthieu Moy Euromicro Conference on Real-Time Systems . 2010

机译：AC21US：通过同步语言光泽使SMT解决和抽象的解释技术与实时微积分
5. Development and use of statistical process control (SPC) techniques for real-time interpretation of wastewater treatment plant data. [D] . Sweeney, Michael William. 1990

机译：开发和使用统计过程控制（SPC）技术来实时解释废水处理厂数据。
6. Deep Learning Techniques for Spanish Sign Language Interpretation [O] . Ester Martinez-Martin, Francisco Morillas-Espejo 2021

机译：西班牙语手语解释的深度学习技巧
7. ac2lus: Bringing SMT-solving and Abstract Interpretation Techniques to Real-Time Calculus through the Synchronous Language Lustre [O] . Avenue De Vignate, F- Gieres, Matthieu Moy, 2010

机译：ac2lus：通过同步语言光泽为实时微积分带来smT求解和抽象解释技术

ac2lus: Bringing SMT-solving and Abstract Interpretation Techniques to Real-Time Calculus through the Synchronous Language Lustre

著录项

引文网络

相似文献

相关主题

期刊订阅